Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
901	2008 Dept. of Computer Science - Undergraduate (Engineering) Post Graduate Activities Detail & History Add to Reading List Source URL: www.engineering.cornell.edu Language: English - Date: 2010-10-15 22:17:49 Microsoft Cisco Systems Economy of the United States Technology Maine School of Science and Mathematics Computing Software engineering Software engineer
902	Time-Indexed Formulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem Benoˆıt Dupont de Dinechin STMicroelectronics STS/CEC 12, rue Jules Horowitz - BP 217. FGrenoble b Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2007-06-06 10:50:57 Operations research Computing Job shop scheduling Mathematical optimization Multiplicative order Scheduling Modulo Very long instruction word Software pipelining Compiler optimizations Modular arithmetic Mathematics
903	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
904	EuroTEX2001 Kerkrade Usage of MathML for paper and web publishing Tobias Burnus Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-10-25 01:00:00 Mathematics MathML Notation Desktop publishing software Mathematical notation TeX Function Markup languages Computing Mathematical markup languages
905	Secure Floating-Point Arithmetic and Private Satellite Collision Analysis Liina Kamm1,2 and Jan Willemson1 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-12-16 06:08:23 Cryptographic protocols Numbers Binary arithmetic Mathematics Secure multi-party computation Floating point Space debris Single-precision floating-point format IEEE 754-2008 Computer arithmetic Data types Computing
906	How Different Electrical Circuits of ECC Designs Influence the Shape of Power Traces measured on FPGA Thomas Basmer, Christian Wittke, Zoya Dyka, and Peter Langendoerfer System dept., IHP, Im Technologiepark 25, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-19 03:59:09 Fabless semiconductor companies Reconfigurable computing Xilinx Field-programmable gate array Elliptic curve cryptography Power analysis Multiplication algorithm Multiplication Side channel attack Electronic engineering Mathematics Electronics
907	Systematic Treatment of Remote Attestation Aurelien Francillon Networking and Security Group Eurecom Instutute Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-20 17:27:19 Trusted computing Complexity classes Formal verification Trusted Execution Technology Trusted Platform Module Adversary model Replay attack Interrupt IP Theoretical computer science Cryptography Applied mathematics
908	A 240 G-ops/s Mobile Coprocessor for Deep Neural Networks (Invited Paper) Vinayak Gokhale∗ , Jonghoon Jin∗ , Aysegul Dundar† , Berin Martini† and Eugenio Culurciello† ∗ Electrical and Computer Engineering, Pu Add to Reading List Source URL: www.teradeep.com Language: English - Date: 2015-03-07 08:16:30 Mathematics Cybernetics Econometrics Network architecture Networks Coprocessor Convolution Perceptron Parallel computing Neural networks Computer architecture Computational neuroscience
909	Alexandr Andoni http://www.mit.edu/~andoni Email: Phone: Experience Add to Reading List Source URL: www.mit.edu Language: English - Date: 2015-02-05 02:44:09 Year of birth missing Symposium on Foundations of Computer Science Symposium on Theory of Computing Piotr Indyk International Colloquium on Automata Languages and Programming Streaming algorithm Ravi Kannan Nearest neighbor search ACM SIGACT Theoretical computer science Applied mathematics Mathematics
910	CIS 194: Homework 2 Due Wednesday, February 4 Be sure to write functions with exactly the specified name and type signature for each exercise (to help us test your code). You may create additional helper functions with w Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 Computing Mastermind Sequence container Code Algebraic data type Algorithm String Games Mathematics Data types

UPDATE